type go/types.term

41 uses

	go/types (current package)
		builtins.go#L832: 		if !tp.is(func(t *term) bool {
		conversions.go#L224: 		return Vp.is(func(V *term) bool {
		conversions.go#L229: 			return Tp.is(func(T *term) bool {
		conversions.go#L242: 		return Vp.is(func(V *term) bool {
		conversions.go#L254: 		return Tp.is(func(T *term) bool {
		infer.go#L426: 		return tset.is(func(t *term) bool {
		infer.go#L664: func coreTerm(tpar *TypeParam) (*term, bool) {
		infer.go#L666: 	var single *term // valid if n == 1
		infer.go#L668: 	tpar.is(func(t *term) bool {
		infer.go#L691: 		return &term{tilde, typ}, false
		instantiate.go#L231: 	if Ti.typeSet().is(func(t *term) bool {
		operand.go#L257: 			return Tp.is(func(t *term) bool {
		operand.go#L332: 		Tp.is(func(T *term) bool {
		operand.go#L353: 		Vp.is(func(V *term) bool {
		predicates.go#L53: 		return tpar.is(func(t *term) bool { return t != nil && isBasic(t.typ, info) })
		termlist.go#L14: type termlist []*term
		termlist.go#L18: var allTermlist = termlist{new(term)}
		termlist.go#L136: func (xl termlist) supersetOf(y *term) bool {
		typeparam.go#L149: func (t *TypeParam) is(f func(*term) bool) bool {
		typeset.go#L46: 	return s.is(func(t *term) bool {
		typeset.go#L112: func (s *_TypeSet) is(f func(*term) bool) bool {
		typeset.go#L417: 			terms = termlist{(*term)(t)}
		typeterm.go#L14: type term struct {
		typeterm.go#L19: func (x *term) String() string {
		typeterm.go#L33: func (x *term) equal(y *term) bool {
		typeterm.go#L47: func (x *term) union(y *term) (_, _ *term) {
		typeterm.go#L79: func (x *term) intersect(y *term) *term {
		typeterm.go#L107: func (x *term) includes(t Type) bool {
		typeterm.go#L125: func (x *term) subsetOf(y *term) bool {
		typeterm.go#L153: func (x *term) disjoint(y *term) bool {
		union.go#L36: type Term term
		union.go#L43: func (t *Term) String() string { return (*term)(t).String() }
		union.go#L179: 		if !(*term)(x).disjoint((*term)(y)) {